Arend Rensink (u. A.) | Formal Methods For Open Object-based

Paolo Ciancarini (u. A.) | Formal Methods For Open Object-based

Carolyn L. Talcott (u. A.) | Formal Methods For Open Object-based

Jean-bernard Stefani (u. A.) | Formal Methods For Open Object-based...

Formal Methods For Open Object-based Distributed Systems V Ifip Tc6 /

Bernhard Beckert (u. A.) | Formal Methods For Components And Objects |

Formal Methods For Mining Structured Objects 4849

Olaf Owe (u. A.) | From Object-orientation To Formal Methods |

Formal Methods For Components And Objects 11th International

Gemma C Garriga | Formal Methods For Mining Structured Objects | Buch

Frank S. De Boer (u. A.) | Formal Methods For Components And Objects |

Structured Object-oriented Formal Language And Method Shaoying Liu (u.

Structured Object-oriented Formal Language And Method Zhenhua Duan (u.

Francesco Flammini (u. A.) | Formal Methods For Industrial Critical

Markus Roggenbach (u. A.) | Formal Methods ¿ Fun For Everybody |

Charles Pecheur (u. A.) | Formal Methods For Industrial Critical